Optimal. Leaf size=121 \[ \frac{1}{2} \sqrt{\sqrt{2}-1} \tan ^{-1}\left (\frac{\left (1-\sqrt{2}\right ) \cot (x)-2 \sqrt{2}+3}{\sqrt{2 \left (5 \sqrt{2}-7\right )} \sqrt{\cot (x)+1}}\right )+\frac{1}{2} \sqrt{1+\sqrt{2}} \tanh ^{-1}\left (\frac{\left (1+\sqrt{2}\right ) \cot (x)+2 \sqrt{2}+3}{\sqrt{2 \left (7+5 \sqrt{2}\right )} \sqrt{\cot (x)+1}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.127488, antiderivative size = 121, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 4, integrand size = 11, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.364, Rules used = {3536, 3535, 203, 207} \[ \frac{1}{2} \sqrt{\sqrt{2}-1} \tan ^{-1}\left (\frac{\left (1-\sqrt{2}\right ) \cot (x)-2 \sqrt{2}+3}{\sqrt{2 \left (5 \sqrt{2}-7\right )} \sqrt{\cot (x)+1}}\right )+\frac{1}{2} \sqrt{1+\sqrt{2}} \tanh ^{-1}\left (\frac{\left (1+\sqrt{2}\right ) \cot (x)+2 \sqrt{2}+3}{\sqrt{2 \left (7+5 \sqrt{2}\right )} \sqrt{\cot (x)+1}}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3536
Rule 3535
Rule 203
Rule 207
Rubi steps
\begin{align*} \int \frac{\cot (x)}{\sqrt{1+\cot (x)}} \, dx &=\frac{\int \frac{-1-\left (-1-\sqrt{2}\right ) \cot (x)}{\sqrt{1+\cot (x)}} \, dx}{2 \sqrt{2}}-\frac{\int \frac{-1-\left (-1+\sqrt{2}\right ) \cot (x)}{\sqrt{1+\cot (x)}} \, dx}{2 \sqrt{2}}\\ &=\frac{1}{2} \left (-4+3 \sqrt{2}\right ) \operatorname{Subst}\left (\int \frac{1}{2 \left (-1+\sqrt{2}\right )-4 \left (-1+\sqrt{2}\right )^2+x^2} \, dx,x,\frac{1-2 \left (-1+\sqrt{2}\right )-\left (-1+\sqrt{2}\right ) \cot (x)}{\sqrt{1+\cot (x)}}\right )-\frac{1}{2} \left (4+3 \sqrt{2}\right ) \operatorname{Subst}\left (\int \frac{1}{2 \left (-1-\sqrt{2}\right )-4 \left (-1-\sqrt{2}\right )^2+x^2} \, dx,x,\frac{1-2 \left (-1-\sqrt{2}\right )-\left (-1-\sqrt{2}\right ) \cot (x)}{\sqrt{1+\cot (x)}}\right )\\ &=\frac{1}{2} \sqrt{-1+\sqrt{2}} \tan ^{-1}\left (\frac{3-2 \sqrt{2}+\left (1-\sqrt{2}\right ) \cot (x)}{\sqrt{2 \left (-7+5 \sqrt{2}\right )} \sqrt{1+\cot (x)}}\right )+\frac{1}{2} \sqrt{1+\sqrt{2}} \tanh ^{-1}\left (\frac{3+2 \sqrt{2}+\left (1+\sqrt{2}\right ) \cot (x)}{\sqrt{2 \left (7+5 \sqrt{2}\right )} \sqrt{1+\cot (x)}}\right )\\ \end{align*}
Mathematica [C] time = 0.0735668, size = 51, normalized size = 0.42 \[ \frac{\tanh ^{-1}\left (\frac{\sqrt{\cot (x)+1}}{\sqrt{1-i}}\right )}{\sqrt{1-i}}+\frac{\tanh ^{-1}\left (\frac{\sqrt{\cot (x)+1}}{\sqrt{1+i}}\right )}{\sqrt{1+i}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.036, size = 249, normalized size = 2.1 \begin{align*}{\frac{\sqrt{2+2\,\sqrt{2}}\sqrt{2}}{8}\ln \left ( 1+\cot \left ( x \right ) +\sqrt{2}+\sqrt{1+\cot \left ( x \right ) }\sqrt{2+2\,\sqrt{2}} \right ) }+{\frac{\sqrt{2}}{2\,\sqrt{-2+2\,\sqrt{2}}}\arctan \left ({\frac{1}{\sqrt{-2+2\,\sqrt{2}}} \left ( 2\,\sqrt{1+\cot \left ( x \right ) }+\sqrt{2+2\,\sqrt{2}} \right ) } \right ) }-{\frac{1}{\sqrt{-2+2\,\sqrt{2}}}\arctan \left ({\frac{1}{\sqrt{-2+2\,\sqrt{2}}} \left ( 2\,\sqrt{1+\cot \left ( x \right ) }+\sqrt{2+2\,\sqrt{2}} \right ) } \right ) }-{\frac{\sqrt{2+2\,\sqrt{2}}\sqrt{2}}{8}\ln \left ( 1+\cot \left ( x \right ) +\sqrt{2}-\sqrt{1+\cot \left ( x \right ) }\sqrt{2+2\,\sqrt{2}} \right ) }+{\frac{\sqrt{2}}{2\,\sqrt{-2+2\,\sqrt{2}}}\arctan \left ({\frac{1}{\sqrt{-2+2\,\sqrt{2}}} \left ( 2\,\sqrt{1+\cot \left ( x \right ) }-\sqrt{2+2\,\sqrt{2}} \right ) } \right ) }-{\frac{1}{\sqrt{-2+2\,\sqrt{2}}}\arctan \left ({\frac{1}{\sqrt{-2+2\,\sqrt{2}}} \left ( 2\,\sqrt{1+\cot \left ( x \right ) }-\sqrt{2+2\,\sqrt{2}} \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cot \left (x\right )}{\sqrt{\cot \left (x\right ) + 1}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cot{\left (x \right )}}{\sqrt{\cot{\left (x \right )} + 1}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cot \left (x\right )}{\sqrt{\cot \left (x\right ) + 1}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]